1. Algorithms and complexity in mathematics, epistemology, and science :
Author: editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
Classification :
QA9
.
58
2. Analysis, Architectures and Modelling of Embedded Systems :
Author: edited by Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network architectures.,Computer science.,Computer-aided design.
3. Automated reasoning for systems biology and medicine /
Author: Pietro Liò, Paolo Zuliani, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational biology.,Medical informatics.,Systems biology.,Computational biology.,Medical informatics.,Systems biology.
Classification :
QH324
.
2
.
A98
2019
4. Computer Aided Verification :
Author: edited by Rajeev Alur, Thomas A. Henzinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
5. Computer Security -- ESORICS 92 :
Author: edited by Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Operating systems (Computers)
6. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
7. Cybernetics and automation control theory methods in intelligent algorithms :
Author: Radek Silhavy, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics, Congresses.,Information theory, Congresses.,Cybernetics.,Information theory.,SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
Classification :
Q300
.
C93
2019
8. Formal Methods for Distributed System Development :
Author: PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
9. Formal techniques for distributed objects, components, and systems :
Author: Jorge A. Pérez, Nobuko Yoshida (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
Classification :
QA76
.
9
.
D5
.
F67
2019
10. Handbook of formal analysis and verification in cryptography
Author: / edited by Sedat Akleylek, Besik Dundua.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Cryptography.,Mathematical analysis.,Computer systems,Verification.
11. Innovative security solutions for information technology and communications :
Author: Jean-Louis Lanet, Cristian Toma (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Information technology-- Security measures, Congresses.,Computer networks-- Security measures.,Computer security.,Information technology-- Security measures.
Classification :
QA76
.
9
.
A25
12. Mathematical Foundations of Computer Science 1977 :
Author: by J. Gruska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA267
.
B954
1977
13. NASA Formal Methods :
Author: Julia M. Badger, Kristin Yvonne Rozier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Formal methods (Computer science)
Classification :
QA76
.
9
.
F67
N45
2019
14. Perspectives of system informatics :
Author: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programmierung.,Theoretische Informatik.,Wissenstechnik.
15. Programming and Mathematical Method :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1992
16. Relations and Graphs :
Author: by Gunther Schmidt, Thomas Ströhlein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
M35
B948
1993
17. Theoretical Foundations of Computer Graphics and CAD
Author: edited by Rae A. Earnshaw.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer-aided design.
Classification :
T385
.
E358
1988
18. Tools and algorithms for the construction and analysis of systems :
Author: Tiziana Margaria, Bernhard Steffen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
19. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
20. Verification of reactive systems
Author: / Klaus Schneider
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer systems- - Verification,Formal methods (computer science),Computer algorithms
Classification :
QA
76
.
76
.
V47S34
2003
